logical adj. 1.邏輯的,邏輯上的;邏輯學(xué)上的。 2.合乎邏輯的。 3.邏輯上必然的。 logical constants 邏輯常詞[常項(xiàng)]。 logical necessity 邏輯的必然性。 a logical argument 條件分明的論證。 a logical process 合理的程序,合乎邏輯的[必然的]過程。 the logical result 必然的結(jié)果。 adv. -ly ,-ness n.
Wstk creates all name attributes according to a logical formula ; in the example , i used names of my own convenience 依照邏輯規(guī)則創(chuàng)建了所有名稱屬性;在本示例中,我使用了自己視為方便的名稱。
However , existing ontology languages are either unsuitable for web with markup languages , or short of of generic support to representation of knowledge , logical formula , axioms and rules 在現(xiàn)有的ontology語言中,有的不是面向web這種標(biāo)記語言環(huán)境的,有的缺乏知識、邏輯公式、公理以及規(guī)則表示的通性支持。
This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx 本文對web語義化過程中部分關(guān)鍵問題和基于語義化web的kms進(jìn)行了研究,主要的創(chuàng)新性工作包括:定義了邏輯公式及關(guān)系公理描述原語的ontology語義: web環(huán)境中用標(biāo)記語言描述對象和資源,為了在語義化web上表示知識、邏輯公式、關(guān)系公理和規(guī)則,需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關(guān)系的關(guān)系原語。